Lagranges theorem